module Module

match (), () with
| (_ | _) | _ -> ()
| _ | (_ | _) -> ()